University College London

Results: 2535



#Item
161

Meta-representation of Shape Families Noa Fish1∗ Melinos Averkiou2∗ Oliver van Kaick1 Olga Sorkine-Hornung3 Daniel Cohen-Or1 1 Tel Aviv University 2 University College London 3 ETH Zurich Niloy J. Mitra2

Add to Reading List

Source URL: vecg.cs.ucl.ac.uk

- Date: 2014-05-13 06:32:54
    162

    Mondrian Forests: Efficient Online Random Forests Balaji Lakshminarayanan Gatsby Unit University College London Daniel M. Roy

    Add to Reading List

    Source URL: www.gatsby.ucl.ac.uk

    - Date: 2014-11-04 16:45:58
      163

      An editor for lute tablature Christophe Rhodes and David Lewis Centre for Cognition, Computation and Culture Goldsmiths College, University of London New Cross Gate, London SE14 6NW, UK , d.lewis@gold.

      Add to Reading List

      Source URL: www.doc.gold.ac.uk

      - Date: 2005-06-24 10:57:56
        164

        “I could easily call these applications revolutionary.” Sacheen Nathwani Medical Student Imperial College London University, Masaryk University

        Add to Reading List

        Source URL: s3-us-west-1.amazonaws.com

        - Date: 2016-10-11 13:51:52
          165

          Extracting Distributed Representations of Concepts and Relations from Positive and Negative Propositions Alberto Paccanaro, Geoffrey E. Hinton Gatsby Computational Neuroscience Unit University College London, 17 Queen Sq

          Add to Reading List

          Source URL: www.cs.toronto.edu

          - Date: 2003-12-31 13:07:05
            166

            Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2005-03-06 09:02:36
              167

              Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2014-03-02 08:51:30
                168

                A Theory for Observational Fault Tolerance Adrian Francalanza a , Matthew Hennessy b a Imperial b University College, London SW7 2BZ, England

                Add to Reading List

                Source URL: staff.um.edu.mt

                - Date: 2008-10-06 10:00:15
                  169

                  A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2014-01-21 06:29:06
                    170

                    Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

                    Add to Reading List

                    Source URL: www.inf.ethz.ch

                    - Date: 2015-07-07 17:20:11
                      UPDATE